ELMO: extending (sequential) languages with migratable objects-compiler support

EEcient task migration is an important feature in parallel and distributed programs, in particular to support checkpointing and recovery for fault tolerance. It is also very useful in distributed environments like networks of workstations where external loads are often unpredictable and dynamic in nature. We propose simple language extensions (ELMO) to existing sequential programming languages like C, Fortran or C++, that provide a object-based task-parallel execution model. Tasks may be dynamically created, are location transparent, and may be migrated or check-pointed transparently by the system. In this paper, ELMO's language features together with the requisite compiler support is presented.